Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

نویسندگان

  • Raluca Lefticaru
  • Luis F. Macías-Ramos
  • Ionut-Mihai Niculescu
  • Laurentiu Mierla
چکیده

Kernel P systems (or kP systems) bring together relevant features from several P systems flavours into a unified kernel model which allows solving complex problems using a straightforward code programming approach. kPWorkbench is a software suite enabling specification, parsing and simulation of kP systems models defined in the kernel P– Lingua (or kP-Lingua) programming language. It has been shown that any computation of a kP system involving only rewriting and communication rules can be simulated by a family of Communicating Stream X-Machines (or CSXM ), which are the core of FLAME agent based simulation environment. Following this, kPWorkbench enables translating kPLingua specifications into FLAME models, which can be simulated in a sequential or parallel (MPI based) way by using the FLAME framework. Moreover, FLAME GPU framework enables efficient simulation of CSXM on CUDA enabled GPGPU devices. In this paper we present an extension of kPWorkbench framework to generate FLAME models from kP–Lingua specifications including structural rules; and consider translation of FLAME specifications into FLAME GPU models. Also, we conduct a performance evaluation regarding simulation of equivalent kP systems and CSXM models in kPWorkbench and FLAME respectively.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Data-driven Method for Crowd Simulation using a Holonification Model

In this paper, we present a data-driven method for crowd simulation with holonification model. With this extra module, the accuracy of simulation will increase and it generates more realistic behaviors of agents. First, we show how to use the concept of holon in crowd simulation and how effective it is. For this reason, we use simple rules for holonification. Using real-world data, we model the...

متن کامل

Selective Tone Reservation method for PAPR reduction in SFBC-OFDM systems

The high Peak to Average Power Ratio (PAPR) of Orthogonal Frequency Division Multiplexing (OFDM) and MIMO-OFDM systems reduces the system efficiency. In this paper, an extension of Tone Reservation (TR) method is introduced for PAPR reduction in Space Frequency Block Coded OFDM (SFBC-OFDM) systems. The proposed algorithm is based on a time domain kernel which is added to the signal of the anten...

متن کامل

Extended Simulation and Verification Platform for Kernel P Systems

Kernel P systems integrate in a coherent and elegant manner many of the features of di↵erent P system variants, successfully used for modelling various applications. In this paper, we present our initial attempt to extend the software framework developed to support kernel P systems: a formal verification tool based on the NuSMV model checker and a large scale simulation environment based on FLA...

متن کامل

Reducing Retrieval Time in Automated Storage and Retrieval System with a Gravitational Conveyor Based on Multi-Agent Systems

The main objective of this study is to reduce the retrieval time of a list of products by choosing the best combination of storage and retrieval rules at any time. This is why we start by implementing some storage rules in an Automated Storage/Retrieval System (Automated Storage and Retrieval System: AS/RS) fitted with a gravity conveyor while some of these rules are dedicated to storage and ot...

متن کامل

ISAR Image Improvement Using STFT Kernel Width Optimization Based On Minimum Entropy Criterion

Nowadays, Radar systems have many applications and radar imaging is one of the most important of these applications. Inverse Synthetic Aperture Radar (ISAR) is used to form an image from moving targets. Conventional methods use Fourier transform to retrieve Doppler information. However, because of maneuvering of the target, the Doppler spectrum becomes time-varying and the image is blurred. Joi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016